orthogonal idempotent elements

正交幂等元(素)